Formal analysis

Results: 1589



#Item
61Computing / Semantic Web / Information science / Information / Ontology / Knowledge representation / Technical communication / Knowledge engineering / Formal concept analysis / Data model / Resource Description Framework / Entityrelationship model

Formal Concept Analysis for Qualitative Data Analysis over Triple Stores Frithjof Dau and Barı¸s Sertkaya SAP Research Center Dresden, Germany (frithjof.dau|baris.sertkaya)@sap.com

Add to Reading List

Source URL: www.dr-dau.net

Language: English - Date: 2012-03-18 07:41:23
62Business intelligence / Economy / Education / Data analysis / Learning / Formal sciences / Educational psychology / Learning analytics / Predictive analytics / Analytics / Educational technology / Academic analytics

Using information to support student learning This document tells you about important developments in the use of information The Open University holds about its students. You should take time to read it and understand ho

Add to Reading List

Source URL: www.open.ac.uk

Language: English - Date: 2015-03-18 13:09:45
63Philosophy / Academia / Knowledge / Formal sciences / Information theory / Philosophy of thermal and statistical physics / Data / Statistics / Data mining / Data analysis / Correlation and dependence / Entropy

Powerpoint-presentation Information and Computing Sciences

Add to Reading List

Source URL: people.mmci.uni-saarland.de

Language: English - Date: 2015-07-30 08:39:55
64Mathematics / Academia / Mathematical analysis / Formal sciences / Elementary arithmetic / Mathematics education / Data / 0.999... / Statistics / Mathematical model / Fraction / Numeracy

NEW MEXICO Grade 5 MATHEMATICS STANDARDS PROCESS STANDARDS To help New Mexico students achieve the Content Standards enumerated below, teachers are encouraged to base instruction on the following Process Standards;

Add to Reading List

Source URL: www.ped.state.nm.us

Language: English - Date: 2016-06-25 18:47:23
65Formal languages / Mathematical analysis / Mathematics / Theoretical computer science / Symbol / Omega language / Constructible universe / Regular language / Star height / Linear temporal logic / Differential forms on a Riemann surface

Classifying Regular Languages by a Split Game Qiqi Yan∗ BASICS Laboratory, Department of Computer Science and Engineering, Shanghai Jiao Tong University, 200240, Shanghai, P.R. China

Add to Reading List

Source URL: www.qiqiyan.com.s3-website-us-east-1.amazonaws.com

Language: English - Date: 2012-07-04 18:28:36
66Business / Data / Computing / Business intelligence / Data management / Big data / Formal sciences / Transaction processing / Analytics / Data-informed decision-making / PricewaterhouseCoopers / Data analysis

Gut & gigabytes: Capitalising on the art & science in decision making

Add to Reading List

Source URL: www.pwc.ie

Language: English - Date: 2016-08-14 02:52:13
67Mathematics / Ontology / Data mining / Machine learning / Metaphysics / Logic / Lattice theory / Formal concept analysis / Nearest neighbor search / Concept / Lattice / Mereology

Concept Similarity and Related Categories in SearchSleuth Frithjof Dau, Jon Ducrou and Peter Eklund , , School of Information Systems and Technology University of Wollo

Add to Reading List

Source URL: www.dr-dau.net

Language: English - Date: 2016-06-19 12:16:28
68Software / Computing / Computer network security / Cloud clients / Portable software / Web browsers / Hypertext Transfer Protocol / Browser security / HTTP cookie / JavaScript / Google Chrome / Browser extension

Run-time Monitoring and Formal Analysis of Information Flows in Chromium Lujo Bauer Shaoying Cai? Limin Jia Timothy Passaro Michael Stroucken Carnegie Mellon University ? Institute for Infocomm Research

Add to Reading List

Source URL: www.andrew.cmu.edu

Language: English - Date: 2016-01-24 20:37:43
69Mathematical analysis / Measure theory / Mathematics / Lifting theory / Model theory / Analysis / Formal languages / Sigma-algebra / Invariant subspace

571 Documenta Math. Purity Results for p-Divisible Groups and Abelian Schemes over Regular Bases

Add to Reading List

Source URL: www.math.uiuc.edu

Language: English - Date: 2010-08-26 14:28:57
70Climate change / Climatology / Systems thinking / Atmospheric sciences / Intergovernmental Panel on Climate Change / Management / Military strategy / Scenario planning / Strategic management / Special Report on Emissions Scenarios / Scenario analysis / Futures studies

A formal framework for scenario development in support of environmental decision-making

Add to Reading List

Source URL: water.engr.psu.edu

Language: English - Date: 2009-03-21 10:02:10
UPDATE